|
In algebra, Serre's criterion for normality, introduced by Jean-Pierre Serre, gives necessary and sufficient conditions for a commutative Noetherian ring ''A'' to be a normal ring. The criterion involves the following two conditions for ''A'': * of height ≤ ''k''. * for any prime ideal . The statement is: *''A'' is a reduced ring hold. *''A'' is a normal ring hold. *''A'' is a Cohen–Macaulay ring hold for all ''k''. Items 1, 3 trivially follow from the definitions. Item 2 is much deeper. For an integral domain, the criterion is due to Krull. The general case is due to Serre. == Proof == 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Serre's criterion for normality」の詳細全文を読む スポンサード リンク
|